function isValid(str): Boolean = str.startsWith("a")

foo: Listing<String(isValid(this))>(isDistinct)
